<html>
<head></head>
<body><script src="devtools.js"></script></body>
</html